theorem proving by resolution
按分解律的定理証明
热门查询
- demean vt. 贬低...的身分；举止
- Bowers n. （女子的）卧室( bower的名词复数 ); 船首锚; 阴凉处; 鞠躬的人
- splendor n. 光彩；壮丽；显赫 n. (Splendor)人名；(瑞典)斯普伦多尔
- Goldblum n. (Goldblum)人名；(法、德、以、英)戈德布卢姆
- indiscretion n. 轻率；言行失检
- biologic adj. 生物的；生物学的
- Rouen 鲁昂(法国港市)
- Bingham [人名] [英格兰人姓氏] 宾厄姆住所名称，来源于古英语，含义是“宾纳的后裔”(descendants of Binna)，或“马房，马槽+宅地”(stall,manger+homestead); [地名] [英国、英国] 宾厄姆
- potpie n. 肉炖面团；一种肉馅饼
- grants n. 补助金；津贴（grant的复数）；政府奖助 v. [专利] 授予；同意；承认（grant的第三人称单数） n. (Grants)人名；(瑞典)格兰茨
- instantly conj. 一…就… adv. 立即地；马上地；即刻地
- geocentric adj. 以地球为中心的；由地心开始测量的
- MINOGUE 米诺格（人名）
- swallowing n. [生理] 吞咽 v. 吞下；忍受（swallow的ing形式）
- Galicia 加利西亚省(西班牙西北部一省)
- antagonist n. 敌手；[解剖] 对抗肌；[生化] 拮抗物；反协同试剂
- lise abbr. long interspersed element 长散布元件，长散在元件
- Swabian adj. 斯瓦比亚人的；斯瓦比亚的
- elbowroom n. 行动自由；活动的空间
- exchanger n. 交换器；交易所；交换程序
考试词汇表
- phosphorus hydrides
- phosphorus isotopes
- phosphorus necrosis
- phosphorus oxyamide
- phosphorus peroxide
- phosphorus printing
- phosphorus suboxide
- phosphorus triamide
- phosphorus trioxide
- phosphorus(v) oxide
- phosphoryl arginine
- phosphoryl chloride
- phosphoryl coenzyme
- phosphoryl compound
- phosphoryl fluoride
- phosphoryl triamide
- phosphoryl-coenzyme
- phosphorylasekinase
- phosphosphingolipid
- phosphotaurocyamine
